St
id_total, 37.542441098
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 3.15107478
id_inclusion_check_mod_p, 0.42606795799999997
id_groebner_time, 13.903942749999999
id_beautifulization, 1.382519096
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 1.824206e+06
